digraph TARGET
{
	A -> B [label = "a"]
	B -> A [label = "b"]
	A -> A [label = "c"]
	[initial = {A}]
	[final = {A}]
}